-
1 затем небольшое вычисление, использующее Лемму 3, приводит к тому, что (...)
Mathematics: then a little calculation using Lemma 3 yields that (...)Универсальный русско-английский словарь > затем небольшое вычисление, использующее Лемму 3, приводит к тому, что (...)
-
2 затем небольшое вычисление, использующее Лемму 3, приводит к тому, что
Mathematics: (...) then a little calculation using Lemma 3 yields that (...)Универсальный русско-английский словарь > затем небольшое вычисление, использующее Лемму 3, приводит к тому, что
-
3 вычисление
(см. также результат) calculation, calculating, computation, evaluation• Более точное вычисление показывает, что... - A more exact calculation shows that...• Более тщательные вычисления, проделанные Смитом [1], дают... - A more accurate calculation by Smith [1] gives...• Вычисления были выполнены... - The calculations were performed (by)...• Вычисления вручную имеют тот недостаток, что... - Hand calculations have the disadvantage that...• Вычисления показали, что... - Computations have shown that...• Вычисления слегка упрощаются, если... - The computational work simplifies somewhat if...• Вычисления, в основном, являются такими же, как... - The calculations are essentially the same as...• Читателю предоставляется проделать это простое вычисление в деталях. - The details of this straightforward computation are left to the reader.• Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...• Довольно простые вычисления показывают, что... - A rather easy calculation shows that...• Затем небольшое вычисление, использующее лемму 3, приводит к тому, что... - Then a little calculation using Lemma 3 yields that...• Намеченные выше вычисления показывают, что... - The calculations outlined above show that...• Однако при вычислении величины W мы должны принять во внимание тот факт, что... - In computing W, however, we must take into account the fact that...• Остальная часть леммы 2 следует из весьма простых вычислений. - The rest of Lemma 2 follows by a very easy calculation.• Подобные вычисления выявляют, что... - Similar computations reveal that...• Подобные решения наиболее полезны для вычисления... - Such solutions are most useful for calculating...• Подробные вычисления затрудняются вследствие проблем, возникающих из... - Detailed calculations are beset with difficulties arising from...• Пример послужит для демонстрации выполнения этого вычисления. - An example will serve to show how the calculation is carried out.• Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Стандартные вычисления показывают, что... - A routine calculation shows that...• Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...• Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...• Точное вычисление выражения (10) было бы трудным. - A precise evaluation of (10) would be difficult.• Уравнение (4) часто используется как базис для вычислений... - Equation (4) is often used as a basis for the calculation of...• Формальные вычисления показывают, что... - A formal calculation shows that...• Чтобы упростить вычисления, введем... - То simplify the computations, we introduce...• Эти вычисления слегка усложняются вследствие... - The calculations are made slightly more complicated by...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...
См. также в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Теорема о 9 точках на кубике — Иллюстрация к теореме о 9 точках Теорема о 9 точках на кубике теорема аналитической геометрии, которая гласит, что[1] … Википедия